1. Systems and software verification : model-checking techniques and tools
پدیدآورنده : B. Berard ... ]et al.[
کتابخانه: (طهران)
موضوع : Vertification ، Computer systems,، Computer software -- Verification
رده :
QA
76
.
76
.
V47S97